Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
851	User Community Modeling Language (UCML) v1.1 for Performance Test Workloads (This article has been adapted from the made for Rational Developers Network article of the same name and is available in it’s original for Add to Reading List Source URL: www.perftestplus.com Language: English - Date: 2006-03-03 18:01:28 Modeling language Mathematical model Abstraction Ethology Software performance testing End-user development Software testing Mathematics Spreadsheet
852	A Mechanized Program Verifier J Strother Moore1 Department of Computer Sciences, University of Texas at Austin, Austin, Texas 78712, USA [removed], WWW home page: http://cs.utexas.edu/users/moore Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-03-23 00:34:24 Automated theorem proving Formal methods Lisp programming language Model theory ACL2 Nqthm Proof assistant Formal verification J Strother Moore Logic Mathematics Theoretical computer science
853	BRAIN BASICS HEAD START DOMAINS/EARLY CHILDHOOD LEARNING OBJECTIVES Language Development: listening and understanding Literacy: phonological awareness Mathematics: geometry, spatial sense, patterns, and measurement Scien Add to Reading List Source URL: www.dmns.org Language: English - Date: 2010-08-26 15:24:26 Brain Organs Cerebrum Cerebellum Memory Pons Human brain Anatomy of the cerebellum Anatomy Mind Nervous system
854	Deciding Semantic Matching of Stateless Services∗ Duncan Hull† , Evgeny Zolin† , Andrey Bovykin‡ , Ian Horrocks† , Ulrike Sattler† , and Robert Stevens† † School of Computer Science, ‡ Department of Com Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2014-03-25 09:15:49 Computing World Wide Web Semantic Web Functions and mappings Control theory Function OWL-S Web Services Description Language State space Web services Mathematics Ontology
855	A Temporal Logic-Based Planning and Execution Monitoring System Jonas Kvarnstr¨om and Fredrik Heintz and Patrick Doherty Department of Computer and Information Science, Link¨opings universitet SE[removed]Link¨oping, Sw Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:25 Mathematical logic Logical syntax Metalogic Well-formed formula Interpretation Unmanned aerial vehicle Golden ratio Linear temporal logic Action description language Logic Formal languages Mathematics
856	Contents Reading Programs Kindergarten with Ace and Christi. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 ABCs w Add to Reading List Source URL: www.aceministries.com Language: English - Date: 2014-10-20 11:08:28 Division Elementary arithmetic Fraction Numbers Part of speech Grammatical number Noun Language Grammar Linguistics Mathematics
857	WHAT EVERY YOUNG MATHLETE SHOULD KNOW I. VOCABULARY AND LANGUAGE The following explains, defines, or lists some of the words that may be used in Olympiad problems. To be accepted, an answer must be consistent with both t Add to Reading List Source URL: www.moems.org Language: English - Date: 2011-10-19 10:25:00 Numbers Fraction Prime number 11 Parity Least common multiple 300 Greatest common divisor 9 Mathematics Arithmetic Elementary arithmetic
858	From SIAM News, Volume 43, Number 9, November[removed]Communication and its Possibilities Communicating Science: Professional, Popular, Literary. By Nicholas Russell, Cambridge University Press, Cambridge, UK, 2010, 348 pa Add to Reading List Source URL: www.siam.org Language: English - Date: 2010-12-16 12:34:52 Logical consequence Philosophical logic Philosophy of language Theorems Lillian Rosanoff Lieber Mathematical proof Poincaré conjecture Clifford Geertz Formal proof Logic Mathematics Logical syntax
859	11+ Years of Formal Methods at Galois, Inc. Lee Pike Galois, Inc. [removed] A survey of work by many contributors Add to Reading List Source URL: www.galois.com Language: English - Date: 2011-11-10 23:38:22 Group theory Formal verification Logic in computer science Évariste Galois Formal methods Isabelle ACL2 Number Programming language Mathematics Theoretical computer science Applied mathematics
860	The agent programming language Meta-APL Thu Trang Doan, Natasha Alechina, and Brian Logan University of Nottingham, Nottingham NG8 1BB, UK {ttd,nza,bsl}@cs.nott.ac.uk Abstract. We describe a novel agent programming lang Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:35:21 Mathematics Homotopy theory Symbol Admissible rule Valuation

UPDATE